32.34/32.44	unsat
