16.76/17.24	unsat
