105.77/107.07	unsat
