5.47/6.59	unsat
