1.58/6.02	unsat
