103.20/103.50	unsat
