103.72/104.10	unsat
