1.58/2.02	unsat
