33.13/33.24	unsat
