19.78/20.24	unsat
