106.59/107.36	unsat
