5.47/8.23	unsat
