30.45/32.44	unsat
