3.09/3.12	unsat
