1.58/3.74	unsat
