30.40/33.12	unsat
