41.07/41.67	unsat
