30.72/30.88	unsat
