3.07/5.10	unsat
