30.73/41.62	unsat
