2.58/2.88	unsat
