5.31/6.74	unsat
