102.81/103.05	unsat
