5.34/6.59	unsat
