16.20/17.24	unsat
