106.32/109.23	unsat
