40.15/41.69	unsat
