5.70/6.09	unsat
