41.97/43.70	unsat
