16.82/20.58	unsat
