30.74/30.99	unsat
