107.34/109.82	unsat
