5.88/6.09	unsat
