16.14/18.13	unsat
