3.09/6.09	unsat
