4.27/6.09	unsat
