105.96/107.73	unsat
