5.59/6.07	unsat
