19.75/20.17	unsat
