104.06/108.06	unsat
