41.88/41.97	unsat
