30.66/32.00	unsat
