21.74/23.64	unsat
