41.55/41.69	unsat
