3.68/3.74	unsat
