100.39/103.52	unsat
