2.78/3.20	unsat
