30.90/32.36	unsat
