30.50/30.74	unsat
