21.97/24.76	unsat
