30.59/30.70	unsat
