19.75/20.74	unsat
