107.85/109.14	unsat
