30.84/30.99	unsat
