1.58/2.47	unsat
