102.18/103.50	unsat
