41.00/41.27	unsat
