103.37/103.80	unsat
