29.81/32.31	unsat
