17.36/19.31	unsat
