41.00/41.16	unsat
