41.74/41.89	unsat
