30.41/32.31	unsat
