3.69/3.74	unsat
