41.68/41.95	unsat
