1.58/1.78	unsat
