102.40/103.04	unsat
