104.84/105.73	unsat
