103.59/103.80	unsat
