104.68/105.09	unsat
