16.24/16.83	unsat
