2.58/2.92	unsat
