107.46/107.84	unsat
