17.14/20.10	unsat
