28.93/33.52	unsat
