21.93/23.84	unsat
