17.36/20.19	unsat
