30.10/33.04	unsat
