2.68/7.35	unsat
