30.12/32.96	unsat
