104.46/104.69	unsat
