3.58/6.74	unsat
