19.74/20.33	unsat
