3.08/3.14	unsat
