103.58/105.30	unsat
