1.29/6.74	unsat
