5.48/6.09	unsat
