104.24/104.86	unsat
