19.66/21.64	unsat
