17.17/20.17	unsat
