105.23/105.55	unsat
