3.02/3.12	unsat
