16.13/17.52	unsat
