30.96/32.29	unsat
