2.78/3.02	unsat
