102.49/105.55	unsat
