21.77/24.23	unsat
