17.14/20.20	unsat
