16.16/16.24	unsat
