104.87/105.10	unsat
