102.73/103.04	unsat
