30.71/33.41	unsat
