30.84/32.80	unsat
