21.07/23.64	unsat
