5.87/6.59	unsat
