41.00/41.70	unsat
