28.92/33.13	unsat
