105.97/107.53	unsat
