105.33/107.93	unsat
