102.69/104.05	unsat
