2.78/6.02	unsat
