105.17/107.84	unsat
