105.60/107.23	unsat
