16.27/19.24	unsat
