20.24/20.33	unsat
