21.93/24.79	unsat
