41.57/41.70	unsat
