41.10/41.68	unsat
