104.36/107.05	unsat
