5.88/6.59	unsat
