102.51/105.11	unsat
