5.59/6.36	unsat
