41.36/41.87	unsat
